Nuprl Definition : doact
11,40
postcript
pdf
doact(
k
;
v
) == inr <
k
,
v
>
latex
FDL editor aliases
doact
origin